package interfaces.gestores;

import interfaces.ITecnico;
import tdg.contract.semanticAnnotations.Model;
import tdg.contract.semanticAnnotations.Query;
import tdg.contract.semanticAnnotations.Pre;
import tdg.contract.semanticAnnotations.Pos;

@Model
public interface IGestorTecnicosModel {
	/* dice si el Tecnico esta en la "lista" de empleados activos */
	@Query
	@Pre ({"t!=null #NullPointerException"})
	public boolean estaTecnico(ITecnico t); 

}
